Replicating or exceeding human intelligence, not just in particular domains but in general, has always been a major goal of Artificial Intelligence (AI). We argue here that “human intelligence” is not only ill-defined, but often conflated with broader aspects of human psychology. Standard arguments for replicating it are morally unacceptable. We then suggest a reframing: that the proper goal of AI is not to replicate humans, but to complement them by creating diverse intelligences capable of collaborating with humans. This goal (...) renders issues of theory of mind, empathy, and caring, or community engagement, central to AI. It also challenges AI to better understand the circumstances in which human intelligence, including human moral intelligence, fails. (shrink)

Much of the debate over the definition and criteria for determining our death has focused on disagreement over the correct biological account of death, i.e., what it means for any organism to die. In this paper, we argue that this exclusive focus on the biology of death is misguided, because it ignores ethical and social factors that bear on the acceptability of criteria for determining our death. We propose that attention shift from strictly biological considerations to ethical and social considerations (...) that bear on the determination of what we call “civil death.” We argue for acceptance of a neurological criterion for determining death on grounds that it is the most reasonable way to synthesize biological, ethical, and social considerations about our death.. (shrink)

While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the rise of experimental (...) mathematics on the one hand and computerized formal proofs on the other hand. Along the way, a great many historical developments in mathematics, philosophy, and logic are surveyed. Yet very little in the way of background knowledge on the part of the reader is presupposed. (shrink)

There has been growing concern about whether individuals who satisfy neurological criteria for death or who become non-heart-beating organ donors are really dead. This concern has focused on the issue of the potential for recovery that these individuals may still have and whether their conditions are irreversible. In this article I examine the concepts of potentiality and irreversibility that have been invoked in the discussions of the definition of death and non-heart-beating organ donation. I initially focus on the recent challenge (...) by D. Alan Shewmon to accepting any neurological criterion of death. I argue that Shewmon relies on a problematic and unrealistic concept of potentiality, and that a better, more realistic concept of potentiality is consistent with accepting a neurological criterion for death. I then turn to an analysis of how the concept of irreversibility has been used in discussion of non-heart-beating organ donation. Similarly, I argue that some participants in this discussion have invoked a problematic and unrealistic concept of irreversibility. I then propose an alternative, more realistic account of irreversibility that explains how "irreversibility" should be understood in the definition and criteria of death. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:John P. Anton C. P. CAVAFY'S ARS POETICA ' It is generally recognized that Constantine P. Cavafy (1863-1933) was not born a poet but became one only through persistence and labor, reaching his "first step" sometime after the midpoint of his life. In his effort to assess the quality of his earlier poetic production and sharpen his sensitivity in facing self-criticism, he decided to put in writing his (...) personal thoughts on his work sometime in 1903. The text was written in English in a personal shorthand Cavafy had devised for his own use. It was found among the papers he left to A. Sengopoulos and published for the first time in 1963 by M. Peridis, who also supplied the suitable title Ars Poetica. It falls outside the scope of this essay to discuss the antecedents of this document. Taken as a whole, the text has all the clarity and directness required of a testament designed to serve as a personal guide and handbook. The problems it discusses are limited to the needs of the poet. In this regard, the Ars Poetica has neither the range of topics nor the theoretical scope of, for instance, Aristotle's Poetics. It is quite certain that the ideas that preoccupy Cavafy in the Ars Poetica had been on his mind for a period of years. However, the Ars Poetica is his first prose piece where he gives a systematic treatment to technical and critical issues directly related to the assessment of his work and his role as a poet. In order to project here a clear image of Cavafy's struggle to reach his technical maturity which came after 1910, we need first to discuss the persistent problems he faced during this crucial decade, then to examine the attitudes and values he embodied in certain representative early poems, and finally to relate them to the guiding principles he formulated in his self-addressed poetics of 1903. A number of interrelated problems confronted Cavafy in his late twenties and throughout his thirties. They emerged one by one, to 85 86Philosophy and Literature make more pressing the demand for a consistent solution and a complete recasting of his outlook. Coming to terms with them was extremely difficult. Aside from the emotional and sexual pressures he had to face alone, there was the absence of suitable ideas and conceptual tools to provide him with even the rudiments of an intellectual framework. Whatever he borrowed from Europe and England, or resurrected from his own Hellenic heritage, proved either beyond assimilation or insufficiently digested. The lingering issues fell roughly into four areas. (i) Despite his determination to devote his life to the writing of poetry, the quality of his work was discouraging. He knew this and as a result he often expressed uncertainty about his ability to proceed. Time and again he appeared suffering from a feeling of inadequacy, but nevertheless he sought to engage a reflective mood from which to draw encouragement and hope. (ii) On the theoretical side, he identified with the long tradition which assigned a coveted cultural role to the savant-poet as discloser of truth and spokesman for humanity; this despite the prevailing climate of opinion in his immediate environment which recognized no such high position in his case. Cavafy knew that his standing with the Greek community of Alexandria had gradually dwindled with the loss of family wealth and his lowly employment, and also that his expectations to be respected in his role as a poet and leader in communal affairs were futile. This denial of personal recognition in a society dominated by commerce and finance contributed to his mood of depression. The feeling of being an outcast, despite his associations with the upper social circles of Alexandria, became a constant irritant to his sense of pride. (iii) The course of culture, the destiny of human institutions and the workings of history, became puzzles as he tried to view them through the opaque glass of disillusionment. These were the grand themes actively discussed in the writings of leading European intellectuals, but to the young poet they had a different personal urgency. His vital concern in this connection was not understanding science... (shrink)

The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, (...) and a more speculative argument for the claim that it does not include S4.2 is also presented. (shrink)

Dummett's case against platonism rests on arguments concerning the acquisition and manifestation of knowledge of meaning. Dummett's arguments are here criticized from a viewpoint less Davidsonian than Chomskian. Dummett's case against formalism is obscure because in its prescriptive considerations are not clearly separated from descriptive. Dummett's implicit value judgments are here made explicit and questioned. ?Combat Revisionism!? Chairman Mao.

The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable.

ABSTRACT Consideration of the potentiality of human embryos to develop characteristics of personhood, such as intellect and will, has figured prominently in arguments against abortion and the use of human embryos for research. In particular, such consideration was the basis for the call of the US President's Council on Bioethics for a moratorium on stem cell research on human embryos. In this paper, I critique the concept of potentiality invoked by the Council and offer an alternative account. In contrast to (...) the Council's view that an embryo's potentiality is determined by definition and is not affected by external conditions that may prevent certain possibilities from ever being realized, I propose an empirically grounded account of potentiality that involves an assessment of the physical and decisional conditions that may restrict an embryo's possibilities. In my view, some human embryos lack the potentiality to become a person that other human embryos have. Assuming for the sake of argument that the potential to become a person gives a being special moral status, it follows that some human embryos lack this status. This argument is then used to support Gene Outka's suggestion that it is morally permissible to experiment on ‘spare’ frozen embryos that are destined to be destroyed. (shrink)

As John Henry Newman reflected on 'The Idea of a University' more than a century and a half ago, Bradley C. S. Watson brings together some of the nation's most eminent thinkers on higher education to reflect on the nature and purposes of the American university today. Their mordant reflections paint a picture of the American university in crisis. This book is essential reading for thoughtful citizens, scholars, and educational policymakers.

It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. New and sometimes unorthodox treatments are given of the (...) underlying principles and construction of many-valued logics, the logic of inexactness, effective logics, and modal logics. Throughout, numerous historical and philosophical remarks illuminate both the development of the subject and show the motivating influences behind its development. Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey of the field. (shrink)

In order to sketch an account of a moral commitment to persons as such, the essay examines empathy, sympathy, and benevolence as they arise first in special relations and then are reconstructed to include the stranger under the rubric of "extensive benevolence" or "universal love." The account, the author argues, must deal with conceptual empowerment and authorizing reasons, weakness and evil, normative conflict, and the relation of benevolence to justice.

As the expansion of the Internet and the digital formatting of all kinds of creative works move us further into the information age, intellectual property issues have become paramount. Computer programs costing thousands of research dollars are now copied in an instant. People who would recoil at the thought of stealing cars, computers, or VCRs regularly steal software or copy their favorite music from a friend's CD. Since the Web has no national boundaries, these issues are international concerns. The contributors-philosophers, (...) legal theorists, and business scholars, among others-address questions such as: Can abstract ideas be owned? How does the violation of intellectual property rights compare to the violation of physical property rights? Can computer software and other digital information be protected? And how should legal systems accommodate the ownership of intellectual property in an information age? Intellectual Property is a lively examination of these and other issues, and an invaluable resource for librarians, lawyers, businesspeople, and scholars. (shrink)

A new axiomatization of set theory, to be called Bernays-Boolos set theory, is introduced. Its background logic is the plural logic of Boolos, and its only positive set-theoretic existence axiom is a reflection principle of Bernays. It is a very simple system of axioms sufficient to obtain the usual axioms of ZFC, plus some large cardinals, and to reduce every question of plural logic to a question of set theory.

Darwinism, Democracy, and Race examines the development and defence of an argument that arose at the boundary between anthropology and evolutionary biology in twentieth-century America. In its fully articulated form, this argument simultaneously discredited scientific racism and defended free human agency in Darwinian terms. The volume is timely because it gives readers a key to assessing contemporary debates about the biology of race. By working across disciplinary lines, the book's focal figures--the anthropologist Franz Boas, the cultural anthropologist Alfred Kroeber, the (...) geneticist Theodosius Dobzhansky, and the physical anthropologist Sherwood Washburn--found increasingly persuasive ways of cutting between genetic determinist and social constructionist views of race by grounding Boas's racially egalitarian, culturally relativistic, and democratically pluralistic ethic in a distinctive version of the genetic theory of natural selection. Collaborators in making and defending this argument included Ashley Montagu, Stephen Jay Gould, and Richard Lewontin. Darwinism, Democracy, and Race will appeal to advanced undergraduates, graduate students, and academics interested in subjects including Philosophy, Critical Race Theory, Sociology of Race, History of Biology and Anthropology, and Rhetoric of Science. (shrink)

This paper is the third of a multi-part examination of the Babylonian mathematical lunar theories known as Systems A and B. Part I (Britton, AHES 61:83–145, 2007) addressed the development of the empirical elements needed to separate the effects of lunar and solar anomaly on the intervals between syzygies, accomplished in the construction of the System A lunar theory early in the fourth century B.C. Part II (Britton, AHES 63:357–431, 2009) examines the accomplishment of this separation by the construction of (...) a successful theory depicting the variations due to lunar anomaly in System A and its subsequent adaptation in System B. The present paper examines the introduction of the uniform zodiac, necessary for any theory depicting variations depending on the position of syzygy. It addresses three questions: (1) In light of all available evidence, what is the magnitude of the constant term in the expression Δλ* = C − 1.3828°Y, describing the difference between the Babylonian sidereal longitudes and modern tropical longitudes? (2) What considerations governed the placement of the Babylonian sidereal zodiac relative to the fixed stars? (3) When was the uniform zodiac introduced? To the first question it finds C = 3.20° ± 0.1°, scarcely different from Huber’s (Centaurus 5:192–208, 1958) estimate of 3.08°, essentially confirming Huber’s result obtained from much less data. For the second it shows that accommodating the three asterisms comprising Taurus limited the placement of the zodiac to within 3°, while the prominence of half sign multiples among the measured intervals between prominent Normal Stars led irresistibly to the choice adopted. Finally, it finds that the zodiac was introduced between −408 and −397 and probably within a very few years of −400. (shrink)

This paper challenges the recommendation of 1981 President's Commission for the Study of Ethical Problems in Medicine and Biomedical and Behavioral Research that all jurisdictions in the United States should adopt the Uniform Determination of Death Act, which endorses a whole-brain, rather than a higher-brain, definition of death. I argue that the Commission was wrong to reject the "personhood argument" for the higher-brain definition on the grounds that there is no consensus among philosophers or the general population as to what (...) constitutes "personhood". I claim that philosophers agree that some potential for cognitive function is necessary for personhood and that, when this is absent in cases of anencephaly and persistent vegetative state (PVS), the individual should be considered dead. I further argue that the lack of consensus among the general population is due in large measure to misunderstandings about the medical reality of PVS and beliefs influenced by feelings for a specific individual in PVS. I also examine and reject two tutiorist arguments which have been used to support the Commission's position: that the higher-brain definition would threaten the severely senile and severely retarded, and that there are not currently adequate medical techniques for determining when all higher-brain activities have ceased. Keywords: death, personhood, persistent vegetative state, anencephaly CiteULike Connotea Del.icio.us What's this? (shrink)

Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege's Grundgesetze is consistent. Here a constructive proof of the same result is presented.

In this first full-length study of male homosexuality in Cather's short stories and novels, John P. Anders examines patterns of male friendship ranging on a continuum from the social to the sexual. He reveals how Cather's work assumes an unexpected depth and complexity by drawing on both the familiar tradition of friendship literature inspired by classical and Christian texts and a homosexual legacy that is part of, yet distinct from, established literary traditions. Anders argues that Cather's artistic achievement is (...) distinguished by her sexual aesthetics, an elusive literary style inextricably associated with homosexuality. His analysis demonstrates how a homosexual ethos and eros helped Cather develop a sensitivity to human variation and a style to accommodate it and thus became the objective correlative of her art, dramatizing the diversity of human nature as it deepens the mystery of her work. (shrink)

Philosophical defenses of cognitive/evolutionary psychological accounts of racialism claim that classification based on phenotypical features of humans was common historically and is evidence for a species-typical, cognitive mechanism for essentializing. They conclude that social constructionist accounts of racialism must be supplemented by cognitive/evolutionary psychology. This article argues that phenotypical classifications were uncommon historically until such classifications were socially constructed. Moreover, some philosophers equivocate between two different meanings of “racial thinking.” The article concludes that social constructionist accounts are far more robust (...) than psychological accounts for the origins of racialism. (shrink)

This book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

“The inquiry into the foundations of knowledge is a systematic inquiry into the problem of truth. This problem constitutes one of the three main concerns of philosophical analysis, the others being the problem of beauty and the problem of goodness.” Thus Evangelos P. Papanoutsos, Greece’s leading contemporary philosopher, introduces this third book of his “Trilogy of the Mind.” The first two volumes covered aesthetics and ethics; this one is a major work in epistemology. Combining rigorous analysis with thorough-going scholarship, displaying (...) an intimate acquaintance with the physical and humanistic sciences, and drawing on a deep understanding of philosophical method and the history of philosophy, Professor Papanoutsos is held in high esteem by his European colleagues. This translation of his masterpiece will enhance his reputation and influence among readers of English. The themes of The Foundation of Knowledge range over the topics that have been continually challenging to the modern era of philosophers: being and consciousness, experience and reason, common sense and science, and the domains of knowledge, including the nature of philosophical knowledge. Special attention is paid to the analysis of theoretical consciousness, the problems of categorical thinking, the theory of judgment, mathematics and logic, and the limits of historical understanding. (shrink)

The complexity of the set of truths of arithmetic is determined for various theories of truth deriving from Kripke and from Gupta and Herzberger.

What is the moral status of humans lacking the potential for consciousness? The concept of potentiality often tips the scales in life-and-death medical decisions. Some argue that all human embryos have the potential to develop characteristics—such as consciousness, intellect, and will—that we normally associate with personhood. Individuals with total brain failure or in a persistent vegetative state are thought to lack the potential for consciousness or any other mental function. Or do they? In Potentiality John Lizza gathers classic articles (...) alongside newly commissioned chapters from leading thinkers who analyze the nature of potentiality in bioethics, a concept central to a number of important debates. The contributors illustrate how considerations of potentiality and potential persons complicate the analysis of the moral consideration of persons at the beginning and end of life. A number of works explicitly uncover the Aristotelian background of the concept, while others explore philosophical issues about persons, dispositions, and possibility. The common assumption that potentiality is intrinsic to whatever has the potentiality is challenged by a relational view of persons, an extrinsic account of dispositions, and attention to how extrinsic factors affect realistic possibilities. Although potentiality has figured prominently in bioethical literature, it has not received a great deal of logical, semantic, and metaphysical analysis in contemporary philosophical literature. This collection will bring these thorny philosophical issues to the fore. Incorporating cutting-edge research on the topic of potentiality, this thought-provoking collection will interest bioethicists, philosophers, health care professionals, attorneys engaged in medical and health issues, and hospital and governmental committees who advise on policy and law concerning issues at the beginning and end of life. (shrink)

The author argues that the core of Hume’s Academic skepticism lies in his commitment to an external world and objective causal powers that are cognitively opaque to human understanding. Three central topics of Hume’s theory of the understanding are discussed—the existence of absolute space, the existence of a world external to our senses, and the existence of objective causal powers. In each case, Hume draws a Pyrrhonian opposition between judgments based on his “Copy Principle” and the “fictions” or “illusions” formed (...) through association of ideas. While he suspends judgment concerning the existence of absolute space, he argues that the association-based beliefs in an external world and objective causal powers are necessary for human life and indispensible in science. In adopting such beliefs about external reality, while at the same time denying their intelligibility, Hume was following ancient Academic skepticism. (shrink)

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

This paper discusses how alternative concepts of personhood affect the definition of death. I argue that parties in the debate over the definition of death have employed different concepts of personhood, and thus have been talking past each other by proposing definitions of death for different kinds of things. In particular, I show how critics of the consciousness-related, neurological formation of death have relied on concepts of personhood that would be rejected by proponents of that formulation. These critics rest on (...) treating persons as qualitative specifications of human organisms or as identical to human organisms. Since advocates of the consciousness-related, neurological formulation of death are not committed to either of these views of personhood, these critics commit the fallacy of attacking a straw man. I then clarify the substantive concept of personhood that may be invoked in the consciousness-related, neurological formulation of death, and argue that, on this view and contra Bernat, Culver, and Gert, persons have always been the kind of thing that can literally die. I conclude by suggesting that the discussion of defining death needs to focus on which approach to personhood makes the most sense metaphysically and morally. (shrink)

The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been (...) proposed, each a consistent theory permitting the development of a significant portion of mathematics. This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in each. John Burgess considers every proposed fix, each with its distinctive philosophical advantages and drawbacks. These systems range from those barely able to reconstruct the rudiments of arithmetic to those that go well beyond the generally accepted axioms of set theory into the speculative realm of large cardinals. For the most part, Burgess finds that attempts to fix Frege do less than advertised to revive his system. This book will be the benchmark against which future analyses of the revival of Frege will be measured. (shrink)

One textbook may introduce the real numbers in Cantor’s way, and another in Dedekind’s, and the mathematical community as a whole will be completely indifferent to the choice between the two. This sort of phenomenon was famously called to the attention of philosophers by Paul Benacerraf. It will be argued that structuralism in philosophy of mathematics is a mistake, a generalization of Benacerraf’s observation in the wrong direction, resulting from philosophers’ preoccupation with ontology.

The integrative memory model contains multiple subsystems. In this commentary, the processes within these subsystems are questioned. First, the assumption that familiarity largely reflects perceptual fluency is examined. Next, the distinction between “process” and “representational” models of temporal lobe function is challenged. Finally, the “relational representation core system”, which is central to the model, is especially sketchy. Here, I highlight key questions to be addressed in order to understand this system's role in trace formation.